Tool support of orderly transition from informal to formal descriptions in requirements engineering
نویسندگان
چکیده
منابع مشابه
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs
The lions’s share of the software faults can be traced to requirements and specification errors, so improvements in requirements engineering can have a large impact on the effectiveness of the overall system development process. A weak link in the chain is the transition from the vague and informal needs of system stakeholders to the formal models that support theoretical analysis and software ...
متن کاملRequirement Capture, Formal Description and Verification of a Business System: the Invoicing Case-Study
The Invoicing case study is a typical business system proposed by Henri Habrias as a common example for a contest on the capacity of particular formal methods to capture requirements from the client. For this, the case study is informally described by half a page of English text. In this report, we use the formal description technique LOTOS for requirement capture, formal description and verifi...
متن کاملModel Based Requirements Engineering for Embedded Software
Software and systems development within the embedded area is dominated by model based design techniques. These techniques are commonly aligned to standard modeling languages such as UML. Along with software and systems design techniques the concern of requirements management methodologies has continuously being increased in the last years, aiming at an improvement of the overall development pro...
متن کاملMobile, L2 vocabulary learning, and fighting illiteracy: A case study of Iranian semi-illiterates beyond transition level
As mobile learning simultaneously employs both handheld computers and mobile telephones and other devices that draw on the same set of functionalities, it throws open the door for swift connection between learners and teachers. This study examined and articulated the impact of the application of mobile devices for teaching English vocabulary items to 123 Iranian semi-illitera...
متن کاملRequirements Traceability between Textual Requirements and Formal Models Using ProR
Traceability within a system description is a challenging problem of requirements engineering [1]. In particular, formal models of the system are often based on informal requirements, but creating and maintaining the traceability between the two can be challenging. In [2], we presented an incremental approach for producing a system description from an initial set of requirements. The foundation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996